Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 3, 4, 5, 6, 7, 8, 9 }

B grade: { 2 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 7, 9 }

B grade: { 4, 5, 6, 8 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 2, 3 }

B grade: { }

C grade: { }

F grade: { 1, 4, 5, 6, 7, 8, 9 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

B grade: { }

C grade: { }

F grade: { }

2.1.6 Sympy

A grade: { 1, 4, 5 }

B grade: { 2, 3 }

C grade: { }

F grade: { 6, 7, 8, 9 }

2.1.7 Giac

A grade: { 1, 4, 5, 6, 7, 8, 9 }

B grade: { 2, 3 }

C grade: { }

F grade: { }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

C grade: { }

F grade: { }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 79 0 246 552 88 1779
normalized size 1 1.00 1.00 1.46 0.00 4.56 10.22 1.63 32.94
time (sec) N/A 0.132 0.093 0.174 0.000 0.495 56.838 0.157 18.464




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 42 35 24 38 94 43 34
normalized size 1 1.00 2.21 1.84 1.26 2.00 4.95 2.26 1.79
time (sec) N/A 0.068 0.049 0.147 0.556 0.450 1.050 0.157 15.153




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 46 34 25 41 94 46 33
normalized size 1 1.00 2.00 1.48 1.09 1.78 4.09 2.00 1.43
time (sec) N/A 0.078 0.050 0.228 0.403 0.458 1.057 0.134 15.315




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 116 0 250 641 88 1955
normalized size 1 1.00 1.00 2.11 0.00 4.55 11.65 1.60 35.55
time (sec) N/A 0.114 0.093 0.184 0.000 0.494 61.420 0.153 24.221




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 59 116 0 252 643 90 1955
normalized size 1 1.00 1.02 2.00 0.00 4.34 11.09 1.55 33.71
time (sec) N/A 0.139 0.114 0.176 0.000 0.501 61.227 0.155 24.706




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 150 181 0 281 0 116 752
normalized size 1 1.00 1.55 1.87 0.00 2.90 0.00 1.20 7.75
time (sec) N/A 0.168 0.364 0.270 0.000 4.945 0.000 0.158 20.113




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 60 75 0 280 0 85 124
normalized size 1 1.00 0.95 1.19 0.00 4.44 0.00 1.35 1.97
time (sec) N/A 0.148 0.160 0.264 0.000 0.528 0.000 0.146 16.061




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 108 182 0 278 0 116 755
normalized size 1 1.00 1.10 1.86 0.00 2.84 0.00 1.18 7.70
time (sec) N/A 0.258 0.242 0.259 0.000 6.334 0.000 0.169 20.281




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 72 94 0 265 0 71 134
normalized size 1 1.00 1.18 1.54 0.00 4.34 0.00 1.16 2.20
time (sec) N/A 0.131 0.122 0.237 0.000 1.042 0.000 0.167 15.623










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [8] had the largest ratio of [.6000]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 7 6 1.00 15 0.400







2 A 5 4 1.00 13 0.308







3 A 5 4 1.00 15 0.267







4 A 7 6 1.00 14 0.429







5 A 7 6 1.00 15 0.400







6 A 8 6 1.00 15 0.400







7 A 9 8 1.00 15 0.533







8 A 12 9 1.00 15 0.600







9 A 6 6 1.00 15 0.400